Nonlinear Static Analysis